Search results for "Structures o-minimales"
showing 3 items of 3 documents
From resurgent functions to real resummation through combinatorial Hopf algebras
2014
Pas de résumé en anglais.
Volumes transverses aux feuilletages d'efinissables dans des structures o-minimales
2003
Let Fλ be a family of codimension p foliations defined on a family Mλ of manifolds and let Xλ be a family of compact subsets of Mλ. Suppose that Fλ, Mλ and Xλ are definable in an o-minimal structure and that all leaves of Fλ are closed. Given a definable family Ωλ of differential p-forms satisfaying iZ Ωλ = 0 forany vector field Z tangent to Fλ, we prove that there exists a constant A > 0 such that the integral of on any transversal of Fλ intersecting each leaf in at most one point is bounded by A. We apply this result to prove that p-volumes of transverse sections of Fλ are uniformly bounded.
Quantifier elimination in the quasi-analytic framework
2012
We associate to every compact polydisk B [belonging to ] Rn an algebra CB of real functions defined in a neighborhood of B. The collection of these algebras is supposed to be closed under several operations, such as composition and partial derivatives. Moreover, if the center of B is the origin, we assume that the algebra of germs at the origin of elements of CB is quasianalytic (it does not contain any flat germ). We define with these functions the collection of C-semianalytic and C-subanalytic sets according to the classical process in real analytic geometry. Our main result is an analogue of Tarski-Seidenberg's usual result for these sets. It says that the sub-C-subanalytic sets may be d…